sender(e) == <source(lnk(kind(e))), mu(t.match(lnk(kind(e));t;time(e)))> 

latex

---

clarification:

w-sender(w; e)
== <source(lnk(w-ekind(w; e))), mu(t.w-match(w; lnk(w-ekind(w; e)); t; w-time(w; e)))> 

latex

Definitions	<a, b>, source(l), mu(f), x.A(x), match(l;t;t'), lnk(k), kind(e), time(e)
FDL editor aliases	w-sender